Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
141	Microsoft Word - G8 Math Standards 08.doc Add to Reading List Source URL: www.ped.state.nm.us Language: English - Date: 2016-06-25 18:47:34 Formal sciences Mathematics Science and technology Knowledge Collective intelligence Knowledge representation Mathematical model Economic model Statistics Graph Logarithm Multiple representations
142	Intl. Symposium on Experimental Robotics, JuneLinguistic Composition of Semantic Maps and Hybrid Controllers ? Neil Dantam, Carlos Nieto-Granda, Henrik Christensen, and Mike Stilman Center for Robotics and Intelli Add to Reading List Source URL: www.neil.dantam.name Language: English - Date: 2016-07-08 17:59:42 Formal languages Combinatorics Mathematics Combinatorics on words Discrete mathematics Theoretical computer science Models of computation Finite automata Automata theory Pushdown automaton Finite-state machine Alphabet
143	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
144	Jeremy Avigad PERSONAL DATA Born January 9, 1968, New York, N.Y. Citizenship: USA. ADDRESS Department of Philosophy Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2016-08-20 23:21:44 Logic Mathematics Philosophy Logic in computer science Automated theorem proving Formal sciences Formal methods Mathematical logic Proof theory Automated reasoning Formal epistemology Foundations of mathematics
145	The rise of automatic feature-generation techniques, including deep learning, has the potential to greatly enlarge the pool of machinelearning users. Such methods require large labeled training sets to obtain high-qualit Add to Reading List Source URL: mmds-data.org Language: English - Date: 2016-06-23 15:50:48 Education Educational psychology Technology Computational neuroscience Formal sciences Science and technology Distance education Educational technology Information technology Deep learning Artificial intelligence
146	Unleashing Mayhem on Binary Code Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Theoretical computer science Computing Software engineering Automated theorem proving Concolic testing Formal methods Symbolic execution Parallel computing Satisfiability modulo theories KeY Symbolic X86
147	DecemberJanuaryMortality Experience – The Funnel Effect Defining the Experiment Add to Reading List Source URL: www.scor.com Language: English - Date: 2016-01-21 17:18:58 Insurance Knowledge Valuation Science Actuarial science Intelligence Formal sciences Economy Actuary Bond duration G factor Financial analysis
148	Semi-Automatic Mapping of WordNet to Basic Formal Ontology Selja Sepp¨al¨a,1 Amanda Hicks,2 Alan Ruttenberg1 1 University at Buffalo Buffalo, NY, USA Add to Reading List Source URL: seljaseppala.files.wordpress.com Language: English - Date: 2016-07-13 06:12:36 Ontology Knowledge representation Information science Computing Information Semantic Web Computational linguistics WordNet Formal ontology Descriptive Ontology for Linguistic and Cognitive Engineering Web Ontology Language Barry Smith
149	Paper presented at the Population Association of America 2011 Annual Meeting - Washington, DC. Session 125: Formal Demography I: Mathematical Models and Methods (Friday 1 April 2011, 12:30 PM - 2:20 PM) Latest revision 6 Add to Reading List Source URL: esa.un.org Language: English - Date: 2015-08-07 16:23:12 Human geography Demography Actuarial science Population LeeCarter model Life table Life expectancy
150	OSRSRNL Formal Letterhead Add to Reading List Source URL: sro.srs.gov Language: English - Date: 2016-07-28 13:37:32 Nuclear physics Chemistry Nuclear technology Atomic tourism Bechtel Savannah River Site Neutron source Californium Neutron Tritium United States Department of Energy national laboratories Los Alamos Neutron Science Center

UPDATE